Design of a Real-Time Parallel Kernel Using LOTOS
نویسندگان
چکیده
1 Supported by FAPESP and CNPq. Abstract The main goal of this work is to show how the Formal Description Technique (FDT) Language of Temporal Ordering Specification (LOTOS), a standard by International Organization for Standardization (ISO), can be useful in the design of real-time systems. This paper concentrates on the specification phase of a development methodology and uses as an example the parallel realtime kernel RTXC/MP developed by Intelligent Systems International and being nowadays commercialized as Virtuoso by Eonic Systems.
منابع مشابه
Specification and Validation of a Real-Time Parallel Kernel Using LOTOS
This paper presents and discusses the LOTOS specification of a real-time parallel kernel. The purpose of this specification exercise has been to evaluate LOTOS with respect to its capabilities to model real-time features with a realistic industrial product. LOTOS was used to produce the formal specification of TRANS-RTXC, which is a real-time parallel kernel developed by Intelligent Systems Int...
متن کاملParallel Spatial Pyramid Match Kernel Algorithm for Object Recognition using a Cluster of Computers
This paper parallelizes the spatial pyramid match kernel (SPK) implementation. SPK is one of the most usable kernel methods, along with support vector machine classifier, with high accuracy in object recognition. MATLAB parallel computing toolbox has been used to parallelize SPK. In this implementation, MATLAB Message Passing Interface (MPI) functions and features included in the toolbox help u...
متن کاملIntegration of QoS Guarantees into SMIL and its Flexible Implementation
In this paper, we propose a flexible implementation technique for integrating QoS guarantee facilities into SMIL language. In the proposed technique, we use a subclass of E-LOTOS (called real-time LOTOS) as an intermediate language since it can nicely treat timing constraints for actions and synchronization among parallel processes used in SMIL documents. We implement QoS control mechanisms usi...
متن کاملA case study in abstraction using E
The proposed ISO standard E-LOTOS is used to describe the leader election protocol of the IEEE 1394 serial multimedia bus ((FireWiree). The E-LOTOS language facilitates descriptions at several levels of abstraction, therefore a broad understanding of the protocol at an abstract level can be gained before adding more complexity and concrete detail. A secondary aim is to illustrate some of the no...
متن کاملSpecification and Validation of Multimedia Protocols using RT-LOTOS
The paper presents a new Formal Description Technique , RT-LOTOS (Real-Time LOTOS) which is a temporal extension of the standard Formal Description Technique LOTOS. After a brief and informal introduction to RT-LOTOS, the paper describes a design method of multimedia protocols based on the use of generic and reusable RT-LOTOS speciication building blocks. An application in the area of multimedi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1998